An Intersection Theoretical Proof of the Embedding Line Theorem
نویسندگان
چکیده
منابع مشابه
Higman ’ s Embedding Theorem . An Elementary Proof
In 1961 G. Higman proved a remarkable theorem establishing a deep connection between the logical notion of recursiveness and questions about finitely presented groups. The basic aim of the present paper is to provide the reader with a rigorous and detailed proof of Higman’s Theorem. All the necessary preliminary material, including elements of group theory and recursive functions theory, is sys...
متن کاملProof of an Intersection Theorem via Graph Homomorphisms
Let 0 ≤ p ≤ 1/2 and let {0, 1} be endowed with the product measure μp defined by μp(x) = p |x|(1 − p)n−|x|, where |x| = ∑ xi. Let I ⊆ {0, 1} n be an intersecting family, i.e. for every x, y ∈ I there exists a coordinate 1 ≤ i ≤ n such that xi = yi = 1. Then μp(I) ≤ p. Our proof uses measure preserving homomorphisms between graphs. One of the fundamental questions first studied in extremal graph...
متن کاملThe Ergodic Theoretical Proof of Szemerédi's Theorem
Partial results were obtained previously by K. F. Roth (1952) who established the existence of arithmetic progressions of length three in subsets of Z of positive upper density, and by E. Szemerédi (1969) who proved the existence of progressions of length four. In 1976 Furstenberg noticed that the statement of Theorem I is equivalent to a statement about "multiple recurrence" of measure-preserv...
متن کاملGunther’s Proof of Nash’s Isometric Embedding Theorem
Around 1987 a German mathematician named Matthias Gunther found a new way of obtaining the existence of isometric embeddings of a Riemannian manifold. His proof appeared in [1, 2]. His approach avoids the so-called Nash-Moser iteration scheme and, therefore, the need to prove smooth tame or Moser-type estimates for the inverse of the linearized operator. This simplifies the proof of Nash’s isom...
متن کاملIntersection Types: a Proof-Theoretical Approach
The goal of this work is to present a proof-theoretical justification for IT. In particular, we discuss the relationship between the intersection connective and the intuitionistic conjunction. For this purpose, we define a new logical system called Intersection Synchronous Logic (ISL), that proves properties of sets of deductions of the implicationconjunction fragment of NJ. The main idea behin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1993
ISSN: 0021-8693
DOI: 10.1006/jabr.1993.1230